Hi guys, I have been experiencing some king of sluggishness on my dock. My mac mini is the server edition 2010, but with 4gb of ram. I think the 64bt kernel might be my problem, and wanted to try the 32bit kernel, but he boots automatically in the 64bit. So s there a way for me to force the 32 bit mode ? Thank you very much !