7c4d6e4833
instead of including the userland string.h header. Prompted by: breakage with old string.h from recent machine/types.h fix Approved by: peter (in principle)