x86-cleanups-2022-06-05

  - Remove unused headers in the IDT code

  - Kconfig indendation and comment fixes

  - Fix all 'the the' typos in one go instead of waiting for bots to fix
    one at a time.