I now have MK Portal and it has IPB on it how do I convert IPB to SMF?
MK Portal is currently developing a module for SMF (you already probably know that) but to my knowledge does not have one finished to convert to SMF download the converter from the downloads page
http://www.simplemachines.org/download.php?converters
You will have to wait for MKPortal to come out with its SMF Module for MKPortal to work.