Re: [U-Boot] [PATCH v5 016/101] x86: timer: Reduce timer code size in TPL on Intel CPUs