I'm not certain to be honest. Those machines have been around a while, before I started working here and are in the UK so I don't really know how they were set up. I do believe that we run off of a canned kernel, which is mostly because of support issues.