semihosting: add weak alias for semihost_puts