I don't think KitKat able to improve scores in synthetic tests (like Antutu), but only for some particular user scenarios. For example, increase UI responsiveness etc (like project "Butter" do). P.S. Temporary back to 4.1.2 bugfixing/improvement due to lot of new issues in JB >4.2 (and KK as well)