build: fix kernel_menuconfig on macOS with newer kernel versions