Documentation question for intel_pstate kernel parameter

The [OS Configuration](https://github.com/intel/FlexRAN#os-configuration) section of the README shows that "intel_pstate=disable" should be added to the kernel cmdline. This seems wrong - it results in the intel_pstate CPUFreq driver being disabled and the acpi_cpufreq driver being used instead. The [BIOS Configuration](https://github.com/intel/FlexRAN#bios-configuration) indicates that p-states should be enabled ("Enhanced Intel SpeedStep (R) Tech : Enabled"), so shouldn't "intel_pstate=active" be added to the kernel cmdline to take full advantage of the p-state capabilities of the processor?