TEMU 4.6.7

GDB server was having problems with multi-board systems as it treated each CPU as a separate thread. This has been addressed with a mask parameter to the GdbServer.new command. Processors are indexed by their global ID. To ensure only CPU 0 is controlled by the server set mask=1, while control over CPU 2 and 3 would be defined by mask=0b1100.

e500 MMU state was not exposed to snapshotting.