[BENTO-30] Update kernel and restart

http://tickets.opscode.com/browse/BENTO-30