kernel: Add coretemp driver to x86_64 build