Make kernel build with same flags as mako device tree
Compile for Cortex-A15 since Krait is more a15 than a9 - testing at the moment.

Signed-off-by: franciscofranco <franciscofranco.1990@gmail.com>