A kernel compiled using Opensource Samsung 2