how to change boot timer in linux