genkernel: set version to 9999