ビルドの話なら質問したいことがある。

最新版のカーネルソースをx86_64向けにxen用configで
ビルドしてもarch/x86_64/boot/bzImageができない。
i386で通常configのときはできてたんだけど、xenのって追加の手順が要るの？