Update notes for submitted changes

* Fix error in SGX_MODULES build