Better memory bank stuff for SGI O2 (128 vs 256 MB RAM).
Authored by: debug 2018-10-19
Parent: [r6047]
Child: [r6049]
