semihosting: add custom user command handler