Kernel configs used on BroadcomCM devices