Documentation/kernel-parameters.txt: update 'isolcpus' kernel option