Attempt at switching to 3.8 kernel