Update notes for submitted changes

* BoardConfig: Disable GCC 4.8