Slightly nicer indentation for ARC/ARCS boot info.
Authored by: debug 2020-11-01
Parent: [r6291]
Child: [r6293]
