[Intel-gfx] Ugly patches for stolen reservation

[H. Peter Anvin]

On 07/26/2013 01:24 PM, Ingo Molnar wrote:
> 
> Am I being too pedantic in expecting that we still mark it 
> e820-reserved?
> 
> This area really isnt an ordinary PCI resource such as a 
> BAR or an MMIO region. It's truly system RAM (which cannot 
> be moved/reallocated), used by graphics hardware, and the 
> firmware should have marked it reserved.
> 
> (The end result should be the same in any case, so this is 
> a detail.)
> 

I, too, would prefer to see it marked as reserved.

	-hpa