RISC-V: as_warn() already emits a newline Therefore there shouldn't be any at the end of the format string.