Comment # 4 on bug 65730 from Jason

Before I being, I must make a disclaimer that I am not a Linux genius by any
means, but a moderate user, able and willing to find my way around things.  I
do occasionally assist one of the pcsx2 emulator devs with me applying and
testing various patches for the code.  Sometimes I need help, though, finding
the correct file to patch, as I am not a coder.  Anyways, back to the topic at
hand.

I'm assuming the file in question should be r600_hdmi.c?

I have checked using catfish file searcher and also manually for this file. 
This includes the /lib/modules/3.8.0-23-generic/kernel/drivers/gpu/drm/radeon
directory.  All I have is radeon.ko in that directory.  In other words, I don't
see any trace of where r600_hdmi.c is or should be anywhere in my file system.

Again I apologize for the inconvenenience.