forked from Mirrors/opensbi

Since commit112daa2e64
("lib: sbi: Maximize the use of HART index in sbi_domain") the platform parameter is unused. Fixes:112daa2e64
("lib: sbi: Maximize the use of HART index in sbi_domain") Signed-off-by: Heinrich Schuchardt <heinrich.schuchardt@canonical.com> Reviewed-by: Anup Patel <anup@brainfault.org>