Hello, Is there anything else that needs to be done besides building with `-DMALLOC_PRODUCTION` and `KERNCONF=GENERIC-NODEBUG` in order to build current and avoid any performance penalties due to debugging flags?