kernel 2.6.22.12-0.1-bigsmp - austauschen?