Some little utilities to help when debugging on x86 with serial port output