Kernel specific configurations...