updated patched genkernel version to current
adding more gnome-3.8 versions to keep build happy