kconfig/conf: print the seed used to initialise the RNG for randconfig

No match.