I also know first hand from Red Hat employees that they have a dedicated infrastructure for testing just this kind of "weird issue only happens on $foo hardware" stuff.
And while i can't confirm this as directly, I'm quite sure their hardware testing pool will contain some hardware that can help with debugging an issue like this.