forked from Mirrors/opensbi

These comments are inaccurate as of commitdb56341dfa
("lib: sbi: Allow platforms to provide root domain memory regions"), which modified root domain registration to go through sbi_domain_register() like other domains. Fixes:db56341dfa
("lib: sbi: Allow platforms to provide root domain memory regions") Signed-off-by: Samuel Holland <samuel.holland@sifive.com> Reviewed-by: Anup Patel <anup@brainfault.org>