[PATCH 42/87] KVM: arm/arm64: Simplify bg_timer programming