reproduce (this is a W=1 build):
        git remote add acpi https://git.kernel.org/pub/scm/linux/kernel/git/lenb/linux.git
        git fetch acpi next
        git checkout acpi/next
        b4 shazam https://lore.kernel.org/r/20250211132741.99944-1-darcari@redhat.com
        # save the config file
        mkdir build_dir && cp config build_dir/.config
        make W=1 O=build_dir ARCH=i386 olddefconfig
        make W=1 O=build_dir ARCH=i386 SHELL=/bin/bash drivers/idle/