EFI bugs, cc mjg59