[PATCH 4.19] efi: random: Properly limit the size of the random seed