Switched config to use prebuilt kernel.