55a7c9 Fix build error: compat_alloc_user_space undefined

Authored and Committed by Chuck Ebbert 9 years ago
    Fix build error: compat_alloc_user_space undefined