Missing header after cleaning kernel tree