Recently I got into UEFI (TianoCore) development. One of UEFI's properties is that a part of it survives the OS load and remains resident to provide a limited set of firmware services to the OS. Its predecessor, PCBIOS, provided software interrupt services that ran