Update notes for submitted changes

* Fix kernel for GCC 4.8 compilation