On 7/5/21 5:52 PM, Tom de Vries wrote:

I ended up pushing this patch, which takes care of more problems with
various target boards.

Thanks,
- Tom