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