Re: Decoding a Linux kernel oops panic due to DMAR error