cyanogen_mako_defconfig: re-enable OPTIMIZE_FOR_SIZE