kernel を Dom0 に入替

kernel を Dom0 に入替えるだけなら、余り変らない


(ただし現在のところは
 MP と PowerNow, acpi 等は使えなくなる)