Made in the UK
後日、Amazonで安くなっていたので、購入したら、made in China
でした。
実際に使用した結果は、SDカードの認識に相性があるようで、UK版では起動したが、China版では起動しなかった。
特にFreeBSDに関しては、いろいろネットで検索してみるとSDカードの相性があるということが判明した。またraspberrypi.orgでダウンロードしたものをSDカードに焼いたものは、どちらでも起動する。
別のサイトで、FreeBSDの環境サンプルを作成されたものをダウンロードして焼くとChina版では起動しないが、UK版では起動している。