Update notes for submitted changes

* Make iasl for s390x/ppc64 available