Found the culprit. That was a “service” motherboard changed previously. In the BIOS, there is a “maintenance” section where the SKU was set to “default” instead of “ThinOS”.
The trick is that to be able to edit that setup, a bootable USB imaging stick must be plugged (but not booted with) when entering the BIOS