platform_kernel_configs