スティックPCで32ビットUEFIのものは注意
LinuxはUEFI-32には対応していない
Linuxでブートさせるにはかなり面倒