Hi, all. I'm intending to install CentOS 7 on a HP Elitebook 8460p. Does anybody have any experience of this? Many thanks for any help. Cheers, Phil...