problem with booting SMP linux kernel