[PATCH 1/3] efi: Add debugging to efi_set_bootdev()