I was not able to test the live cd because bug #572611 prevents me from creating a usb startup disk.
I did some more mainline kernel testing however, and the bug is fixed between 3.12.1 and 3.12.2:
NOT OK:
Linux tadzim2 3.12.1-031201-generic #201311201654 SMP Wed Nov 20 21:54:49 UTC 2013 x86_64 x86_64 x86_64 GNU/Linux
OK:
Linux tadzim2 3.12.2-031202-generic #201311291538 SMP Fri Nov 29 20:39:07 UTC 2013 x86_64 x86_64 x86_64 GNU/Linux
Note that 3.12.2 is where the patch mentioned in bug #1213239 is applied.
I was not able to test the live cd because bug #572611 prevents me from creating a usb startup disk.
I did some more mainline kernel testing however, and the bug is fixed between 3.12.1 and 3.12.2:
NOT OK: 031201- generic #201311201654 SMP Wed Nov 20 21:54:49 UTC 2013 x86_64 x86_64 x86_64 GNU/Linux
Linux tadzim2 3.12.1-
OK: 031202- generic #201311291538 SMP Fri Nov 29 20:39:07 UTC 2013 x86_64 x86_64 x86_64 GNU/Linux
Linux tadzim2 3.12.2-
Note that 3.12.2 is where the patch mentioned in bug #1213239 is applied.