Update notes for submitted changes

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