Fix printf format to prevent build error (XEN3PAE_DOM0/i386).