/* * This magic number is used to prevent PXE restart when we * issue a software reset. We write this magic number to the * firmware mailbox at 0xB50 in order to prevent the PXE boot * code from running. */