I don't want to see the whole sourcecode. But if the bug is kernel-related, I don't know why they shouldn't provide their changes in bugzilla. As far as I know: the kernel is opensource (apart from binary-blobs)