Add board fixups including Pico SDK board .h and MicroPython board dir since these are not yet upstream.