[PATCH v5 01/14] efi_loader: Use puts() in cout so that console recording works