7b21ed7d119d ("arm64: properly install vmlinuz.efi")