Set 3.11 kernel, if the load-kernel option isn't set