x86/desc: switch to using boot_idt

boot_idt is set up an all cpus by the startup code, unlike
the idt local to desc.c.

Signed-off-by: Avi Kivity <avi@redhat.com>