Update notes for submitted changes

* Added work-around for gcc bug in AVX intrinsincs formal parameter