mako: defconfig: regenerate (take2)