We’re planning a Tesla S1070 cluster based around Supermicro 6015TW-INF whitebox systems. I notice that the compatible platforms page lists this with RHEL 4.5, and most everything else with RHEL 5. Is there a known problem with this system and RHEL 5?