codinaxxx: Switch to 3.0.31 kernel