mako: Fetch AOSP kernel sources and 4.4 binaries

Change-Id: Ib4bfd02ab70655204009c13ffb391d5e1285e238