Have the hypervisor print translation attempts
Fix the value used in the TCR_TxSZ macro
Use a 1 GiB block for the VA == PA map