[PATCH v6 017/102] x86: timer: Reduce timer code size in TPL on Intel CPUs