Hi @all!
Where do useless kernel header files belong to?