Use head flo/deb/mako kernel

Change-Id: Iacecf8d56faccd52b42e1d62c1fdd8c868cac735