Allow usage of kernel headers