[PATCH 01/17] doc: Convert semihosting readme to rST