d.h. ich brauche eine neue (alte) kernel.dll -oder?
wo bekomm ich die her?