[opensuse-factory] Is there enough time to have kernel 3.11 for openSUSE 13.1?