続 RouterBoard RB850Gx2

RouterBorad はブートローダに RouterBOOT という独自のブートローダが使われているんだけど、ブートローダからカーネルを起動する際に何か情報が渡されてないかなーと思って調べてみたら %r3 で Device Tree の dtb が渡ってくる模様、ｲﾏﾄﾞｷ!
しかし、これの中には tsec(4) の MAC アドレスは含まれていない模様。どこから取得すれば良いんだろうか。