Use Mustaavalkosta's kernel for now.