forked from Mirrors/opensbi
		
	If ISA extension Zkr is available, set
    mseccfg.sseed=1
    mseccfg.useed=0
This enables access to the seed CSR in S-mode but not in U-mode.
Signed-off-by: Heinrich Schuchardt <heinrich.schuchardt@canonical.com>
Reviewed-by: Anup Patel <anup@brainfault.org>