This patch eliminates the do_machine_check function, by using the machine_check_vector directly from the asm entry stub. -- Brian Gerst