I tested the trusty daily snapshot with `linux-headers-3.13.0-1` which should be the kernel mainline v3.13-rc7-trusty you mentioned in the second section.
So: also not fixed in kernel upstream.
I tested the trusty daily snapshot with `linux- headers- 3.13.0- 1` which should be the kernel mainline
v3.13-rc7-trusty
you mentioned in the second section.
So: also not fixed in kernel upstream.