When working: 0700, 4005, 4180, 4237
When broken : 0700, 4005, 4180, 4237
There's no hardware reset according to this dump.
Now I'm confused: the hardware default of FSP_REG_SWC1 is zero and
there's no single piece of code(dirver/firmware) that will set SWC1 to
0x80 as far as I can remember.