in devmnt.c replace hard-coded numbers IOHDRSZ+8192 with MAXRPC for easy tweaking