AOSP kernel for flo+deb+mako, and fix some repository typos

Change-Id: I9263c6666a970024fb3cc6a96a6948f4d8a9cd45