[coreboot] Booting UHCI with FILO