Re: [PATCH stable] efi: random: combine bootloader provided RNG seed with RNG protocol output