Update notes for submitted changes

* workaround an armv6 gcc 4.7 bug