codal_port: Use mp_sched_keyboard_interrupt, impl dummy mp_hal_time_ns.

To build with latest MicroPython.

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

Author: dpgeorge

src/codal_port/drv_system.c

@@ -47,5 +47,5 @@ void microbit_hal_timer_callback(void) {
 }
 
 void microbit_hal_serial_interrupt_callback(void) {
-    mp_keyboard_interrupt();
+    mp_sched_keyboard_interrupt();
 }

src/codal_port/mphalport.h

@@ -33,6 +33,11 @@
 void mp_sched_schedule_exception(mp_obj_t exc);
 void mp_hal_set_interrupt_char(int c);
 
+static inline uint64_t mp_hal_time_ns(void) {
+    // Not currently implemented.
+    return 0;
+}
+
 // MicroPython low-level C API for pins
 #include "modmicrobit.h"
 #define mp_hal_pin_obj_t uint8_t