FPGAで4K HDMIキャプチャができる機械?