Update notes for submitted changes

* mako: update stock kernel with EHCI fixes (thank you faux123 for the kernel!)