efi_loader: fix typos in efi_boottime.c