[ET] Updating mbed how-to