FC2 x86_64 doesnt boot with SMP kernel using 4 Opterons