boards: microbit: enable flashing with pyocd Flash the BBC Micro:Bit with pyocd, just run: make BOARD=bbc_microbit flash Signed-off-by: Anas Nashif <anas.nashif@intel.com>