OFKernelEventObserver_select: Small Win64 fix