あと、portsのsysutils/u-boot-rock-pi-4だと、ROCK PI 4Bのdtbを生成するようになってるようなんだが、見えるはずなのに見えないデバイスが結構あって困ってる。