mako: Cleanup BoardConfig

*  remove krait optimizations
   No need to override those values as these are the default values
   for krait

Change-Id: Ia472aae66c622b9233f97ffa4e1405457ed8a63b
1 file changed