fix kernel-headers build