trap_init_f00f_bug in kernel/traps.c

[Albert D. Cahalan]

I think the code does not match this comment:

        /*
         * Allocate a new page in virtual address space,
         * and move the IDT to have entry #7 starting at
         * the beginning of the page. We'll force a page
         * fault for IDT entries #0-#6..
         */

AFAIK, that was the old solution.