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