dmesg output after the whole series of changes on the HiFive Unmatched:
```
CPU 0: Hart 1
Core Manufacturer: SiFive
6/7/P200/X200-Series Processor, mimpid: 0x20181004
MMU: 0x1<SV39>
ISA: 0x112d<Atomic,Compressed,Double,Float,Mult/Div>
```
and in QEMU:
```
CPU 0: Hart 0
Core Manufacturer: Unknown
marchid: 0x70232, mimpid: 0x70232
MMU: 0x3<SV39,SV48>
ISA: 0x112d<Atomic,Compressed,Double,Float,Mult/Div>
```