Linux kernel module to disable and enable CPU caches