Yes of course x86 implies the BIOS and the historically very significant reverse engineering of it by Compaq.<p>However EFI and Secure boot have not changed anything at all. UEFI is a standard and most vendors use the reference implementation from Intel and its all at least as good as BIOS in terms of being documented.