ROCK 4 SEのシリアルコンソールから、u-bootのシェルに入って、
env set fdtdefault rockchip/rk3399-rock-4-se
env save
とかやったら、eMMCに書いてくれたのはいいんだけど、1回だけちゃんと起動したので念のためもう一と再起動したら、なぜかボード自体の電源が入らなくなった。
で、全部いったん外して、電源を入れなおしたら復活した。こえぇよ。