Use actual kernel headers