target-arm: Fix RVBAR_EL1 register encoding