The status dump did not work if the first fault triggers before the first context switch (during nx_start()).