Dell gives the go-ahead for Linux