Arduino RP2040 Connect multithreading with mbed OS and dual core processing

There is ongoing development, the earlephilhower implementation might no longer be needed: Multicore on Raspberry Pi Pico - #21 by MarkT