[PATCH] KVM: ARM: arch_timer: Add comment about timer mask