1) i kernel stanno su http://www.kernel.org
2) credo che sul sito siano abbastanza esplicite le differenze tra versione personal e professional.