Don't actually change kernel constructor signature