ミクロで難しいメカニズムはよくわからんが、要は小細工される前の64bitカーネルバイナリが手に入れば検証出来るわけね。
ビルドしてみるか。只今clone中