とりあえずHDMI-CECをカットするCECレスアダプターも4K対応の物を一つ頼んでおく。
以前定番だったLINDY.comのは持っていたのだけど、掃除した時にただのHDMIオスメスアダプターと見分けがつかなくなって破棄した記憶があるｗ