Re. your guess: Does it make sense to try downgrading something
specific
besides the kernel to F17-release?
Or possible upgrading. I forget when the second fix was put in. It may
also depend on the problem with the device.
It looks like it gives different answers to its size depending upon which
way you ask it...