Zen-kernel patches are out for 3.17