x86: make sure IDT is page aligned