linux+arc: update kernel