codal_app/microbithal: Mark microbit_hal_reset() as noreturn.

Signed-off-by: Damien George <damien@micropython.org>

Author: dpgeorge

src/codal_app/microbithal.cpp

@@ -95,7 +95,7 @@ void microbit_hal_idle(void) {
     __WFI();
 }
 
-void microbit_hal_reset(void) {
+__attribute__((noreturn)) void microbit_hal_reset(void) {
     microbit_reset();
 }
 

src/codal_app/microbithal.h

@@ -104,7 +104,7 @@ extern "C" {
 
 void microbit_hal_idle(void);
 
-void microbit_hal_reset(void);
+__attribute__((noreturn)) void microbit_hal_reset(void);
 void microbit_hal_panic(int);
 int microbit_hal_temperature(void);