They did a specific-hardware kernel optimization for the Pro 6000 (available on AWS as g7e).