fix menuconfig developer options structure