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