altos/kernel: Use ao_put_string for syntax error message