[boot] provide the x64 EFI Shell for convenience

This commit is contained in:
Fabio Erculiani
2013-07-17 13:03:10 +02:00
parent 9d2025e434
commit 7a0e338f07
Binary file not shown.