acpuclock: alter freqs so that they are in roughly 200MHz steps
Enable RWSEM_XCHGADD_ALGORITHM by default (ziggy471)
defconfig: enable RWSEM_XCHGADD_ALGORITHM