A set of small x86 cleanups:

  - 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.