Defconfig: Enable optimized RWSEM algorithm