Major reworking to integrate cache coloring into the kernel.