I would suggest asking at the UEFI vendors (Coreboot) for advice first. Coreboot is a special case of UEFI/BIOS firmware. It might be related to your issue, or their developers know better of a good advice.
Also special case hardware. 
7 Likes