Console-writing code for the new x86 setup code