Boot the 8051 from Python