VTCR fields are not checked when building parameters for aarch64 secure EL2 page table walk