lux, a linux kernel updater for smarties