A kernel for Samsung's Skomer