mbed LPC824のファームウェアをアップデートするには以下のページに従って行う。

https://os.mbed.com/teams/Switch-Science/wiki/Firmware-LPC824