[added to the 4.1 stable tree] arm: KVM: Fix VTTBR_BADDR_MASK BUG_ON off-by-one