x86: re-initialize RNG seed when selecting kernel