getcpu.c: use printnum_int and printaddr

* getcpu.c (sys_getcpu): Use printnum_int and printaddr.
1 file changed