fix up include/linux/types.h for user space stuff (patch from debian), fixes #1008