RHEL works now, update supported platforms