Fix include moving out of kernel tree