Fix bug in dumpRegisters on dual-core