Made the fixes proposed by @stevew817, so provided they're happy I think it's good to go? Tested running mbed client stack all ok, though I am having some wacky issues with mbed-trace and haven't got an EFR32MG to test whether it's broken on both.