efi_loader: pass GUIDs as const efi_guid_t *