I would like to change the kernel of one of my servers from SMP to BIGSMP to be able to use the memory I just added to it. Is there any documentation somewhere about the different steps (kernel install, modules to change, reinstall, grub, ...) in order to do this?

Many thanks