Chef cookbook for kernel