A kernel for Samsung's Golden