[coreboot] HTX (FPGA) device needs more time for, initialization but HOW?