Avoid kernel headers to be included twice [ci skip]