linux 3.0: update to 3.0.23