Update notes for submitted changes

* Change default kernel gcc version to 4.7... in the grossest way possible.