kconfig: allow specifying the seed for randconfig