Mako also used flo's + deb's kernel

Change-Id: I99eaa48d2127803502765bfac24698e40edb120a