A script to simplify some linux kernel tasks