restored optional 14.04 kernel upgrade