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