[coreboot] Minifree Libreboot D16 server/workstation launched