kernel: Add coretemp driver to x86_64 build

The x86_64 build already has the k10temp driver for AMD processors
built in, so this patch adds the coretemp driver for the same
functionality on Intel processors.

Signed-off-by: Michael Marley <michael@michaelmarley.com>