Hi, can a HP DL 380 G6 or G7 server have AIX as the operating system?