Using the UEFI Shell for Bare Metal Provisioning