FIX: vxworks compilation tripping on KERNEL_VERSION