board-pico.c: finalize ION