Re: [PATCH v5 1/3] lib: Add common semihosting library