Is there a reason the kernel configuration option KernelArmVtimerUpdateVOffset is set globally, e.g for every vCPU in the system rather than being a per-vCPU configuration at runtime?

It seems like this kind of policy would depend on the guest and hence seems weird to be a global configuration.