Linux 3.8.13.1 also has the fix.