Update notes for submitted changes

* Fix detection of i386 in tmpi