mako: enable krait optimizations

Change-Id: I0bb2f41104ce90cd315d6ad5a4cffb217b060d31
Signed-off-by: Jonathan Steadman <xxwhitehawk@gmail.com>
Fix mako build - changes for 4.2.2

PS2: old ion api too

Change-Id: I4e8490f3c9c43392c476498e1436deb43c678fbd
Signed-off-by: Gergely Szell (sethyx) <szell@hu.ibm.com>