RaspberryPi4の生産が英国のみになったの香港の件とかで中国から手を引いたというのもありそう