I tried a number of different boot-reboot sequences. The only kernel that never shows the problem is 3.5. Quite frequently, warm reboots 3.5 => 3.9 show no problem (but not always).
So I confirm that the bug is NOT fixed in upstream kernel.
I tried a number of different boot-reboot sequences. The only kernel that never shows the problem is 3.5. Quite frequently, warm reboots 3.5 => 3.9 show no problem (but not always).
So I confirm that the bug is NOT fixed in upstream kernel.