Update mako_defconfig
Fix OC options in KConfig