Start the 8051 by default