All MIPS machines now register their devices as symbols (based in kseg1, i.e. 0xffffffffa0000000).
Authored by: debug 2021-03-10
Parent: [r6399]
Child: [r6401]
