OpenRISC Multicore - SMP Linux soft lockups

This is the story of figuring out why OpenRISC Linux was no longer booting on FPGA boards.