Make sysent.c handle memory as VAL* rather than uint*_t.