mako_defconfig: loadable module support