only include userspace headerfiles if not building kernel module

Change-Id: Ib07dfa2f3d1d0b56a4838a189b65ab26b1a3a8bd