[boot] provide the x64 EFI Shell for convenience