(4) Maximum number of CPUs (2-32)                                │ │
  │ │    -*- Support for hot-pluggable CPUs                               │ │
  │ │    [ ] Support for the ARM Power State Coordination Interface (PSCI)│ │
  │ │        Preemption Model (Fully Preemptible Kernel (RT))  --->       │ │
  │ │        Timer frequency (250 Hz)  --->                               │ │
  │ │    [ ] Compile the kernel in Thumb-2 mode                           │ │
  │ │    [*] Use the ARM EABI to compile the kernel                       │ │
  │ │    [ ]   Allow old ABI binaries to run with this kernel (EXPERIMENTA│ │