After the firmware upgrade the reboot button on the board may not work properly
Reboot button after firmware upgrade
As far as I understand this is going to be fixed in the next FW release, as it's claimed to be fixed by the 0.8.0 BSP (I'm working on trying this out).