linux-seblu: update to 3.8