This removes "do_machine_check()" in favour of just calling the
appropriate machine check handler directly from the lowlevel exception
code.