kconfig/conf: accept a base-16 seed for randconfig