Another impressive experiment by msfujino, much appreciated.
It seems Adafruit core (based on Free RTOS) performs much better in terms of power efficiency. To what I saw on Adafruit Github, the number of peripheral connection is also higher than Mbed core.
Perhaps it is time to permanently switch to Adafruit core. Thanks again for your sharing.