Switch kernel to SVMP patched mirror