Update notes for submitted changes

* Switch to TheMuppets vendor and to GearCM kernel