kernel: Add intel_idle driver to x86_64 build