original_kernel/tools/bootconfig/include/linux/bootconfig.h