HCR_FWB
if (__vcpu_sys_reg(vcpu, HCR_EL2) & HCR_FWB) {
params->hcr_el2 |= HCR_FWB;
vcpu->arch.hcr_el2 |= HCR_FWB;