「Raspberry Pi Pico」の独自チップ、単体で商品化　日本では10個1265円（関連情報）