Re: [LinuxBIOS] Opteron caching of device memory