2.6.37 kernel for Samsung Galaxy devices