在ubuntu22.04中配置linux-4.9.9内核时,menuconfig的arm system type选项并未显示出我配置的Samsung EXYNOS选项,配置过程如下:1.修改makefile