AMD64 support

[robotman2412]

One of the desired target architectures for BadgerOS is x86_64, also known as AMD64. I have also acquired multiple x86_64 computers for testing.

• Finish ISR-related
  • Set up TSS
  • Set up IDT
  • Create system call control flow
• Create APIC and LAPIC drivers
• Set up privilege mode switching
• Set up ACPI
  • Integrate uACPI
  • Discover devices with ACPI
• Set up multiprocessing
• Set up monotonic timers