ArmPkg/TimerDxe: Add ISB for timer compare value reload