mako_defconfig:  no extra debug info