Support for Lambda scheduling on some 32 bit boards

We now support lambdas with capture arguments on ESP8266, ESP32, mbed, SAMD, Nano 33 BLE. We'll add more as we can test it works properly on that hardware, or alternatively as PRs are raised.