chef recipe for kernel headers