32 or 64 bit kernel for Duo T8400 processor ? Can apps be 32 bit for 64 bit kernel ?