[RFC 1/1] efi_loader: rename 'efidebug boot' 'bootefi'