[CentOS] Compaq Alpha ES45 system with 4 CPUs: OK with CentOS ?