My apologies for not being clear. The machdep flag is used in 32bit only. In 64 bit you don't need it. I haven't seen any system freezes in 64 bit for a long time, though. Are you able to capture any sort of debugging when it crashes?