[CentOS] VGA boot options in XEN kernel