Fixes for CONFIG_KERNEL.