EFI_STUB notes