fix some printf format strings in rumpkern_demo