Tez tak myslałem ale jednak tak nie jest.
Po instalacji plik ten nazywa sie hal.dll ale jednak na płycie instalacyjnej poszczególne wersje nazywają sie inaczej. I mi właśnie chodzi o nazwe pliku jądra przed skopiowaniem go na dysk końecznie dla komutera z jednym prockiem i z ACPI