device memory, rather than relying on the less reliable MTRR method used by mem_range_attr_set(). Glanced at by: jhb