On 10/20/2013 9:27 PM, Dale wrote:

 I did some googling and found out that I have to add "
iommu=pt" to the kernel command line.  When I do that, it works fine.

In the UEFI/BIOS menus; does it have a "

IOMMU
      Controller" option and if 

        it does, try enabling it and boot linux normally.