The sbi_ prefix would seem to indicate an SBI interface, and save is not
very specific. After applying this patch, reading head.S makes more sense.
Signed-off-by: NMichael Clark <michaeljclark@mac.com>
Signed-off-by: NPalmer Dabbelt <palmer@sifive.com>