[PATCH v3 25/40] efi: Use puts() in cout so that console recording works