Update notes for submitted changes

* Use legacy gcc 4.4.x to build kernel