Merge "BUILT_KERNEL_CONFIGS_FILE built by linux tools"