Removing the SGI IP30 and IP32 modes from the new framework; SGI machines are emulated using the old framework.
Authored by: debug 2019-05-30
Parent: [r6209]
Child: [r6211]