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