reproduce (this is a W=1 build):
        # https://git.kernel.org/pub/scm/linux/kernel/git/kas/linux.git/commit/?id=f5f8a46a7c252a67e59b61ee475f5ef67c6b3988
        git remote add kas https://git.kernel.org/pub/scm/linux/kernel/git/kas/linux.git
        git fetch --no-tags kas pte_size
        git checkout f5f8a46a7c252a67e59b61ee475f5ef67c6b3988

        # save the config file
        make W=1 ARCH=x86_64 olddefconfig
        make W=1 headers_install
        make W=1 -C tools/thermal/lib
        make W=1 -C tools/lib/api
        make W=1 tools/all