Added double fault handler
   (one machine red screens, one does not...)