It doesn't seem to be clear in the dmesg output - I am using the vanilla Linux 3.11-rc2 kernel. I can recompile the kernel with extra debugging options turned on if required. Do you need any other information?