add check for sys/ioctl.h that was missed when moving to portals-split.

(also fix longstanding typo when checking for running kernel header)