というわけで、x86系のkernelの話をしてください