forked from Mirrors/opensbi
		
	This printf is mainly useful for debugging, remove it. Signed-off-by: Clément Léger <cleger@rivosinc.com> Reviewed-by: Andrew Jones <ajones@ventanamicro.com>
This printf is mainly useful for debugging, remove it. Signed-off-by: Clément Léger <cleger@rivosinc.com> Reviewed-by: Andrew Jones <ajones@ventanamicro.com>