Kernel header inclusion practice