Set high offset of IDT entry correctly
Force IDT alignment to 8.

It was already being qword aligned, but let's make sure instead of depending
on luck.
Enable INT13 (was accidentally commented out)
Fix interrupt handling (set IDT to linear address, not virtual address)
Adjust formatting of int.h