x86: head_64.S - use IDT_ENTRIES instead of hardcoded number