[PATCH 1/7] efi: Use puts() in cout so that console recording works