Add option to disable flash-kernel in Ubuntu