x86-model.c: Actually display the stepping.