Update notes for submitted changes

* 32 bit dos not have any bitlen extensions for rpmprovides