MENUCONFIG menuconfig24_71.html make menuconfig Aborts with an Error
