Disable a CPU in Linux

echo 0 > /sys/bus/cpu/devices/cpu3/online

to re-enable it - echo 1.
To check the status:

lscpu