How do I boot into the EFI firmware shell?

Solution 1:

Yup, apparently it is missing and you have to install EDK to get it.