reproduce (this is a W=1 build):
        # https://github.com/zen-kernel/zen-kernel/commit/ddfe42c6d6b421fc0fa05306cb96eee737d6bb42
        git remote add zen https://github.com/zen-kernel/zen-kernel
        git fetch --no-tags zen 6.12/invlpgb
        git checkout ddfe42c6d6b421fc0fa05306cb96eee737d6bb42
        # save the config file
        make W=1 ARCH=x86_64 olddefconfig
        make W=1 ARCH=x86_64