Update notes for submitted changes

* device_tf101.mk: Clean up includes a bit