Use correct kernel for mako

Change-Id: I58cd822e19ee8ec128669f1646b663ccff502785
Signed-off-by: Simon Busch <morphis@gravedo.de>