Chef cookbook to install and manage kernel image and developpement files