[PATCH 12/13] ARM: LPC32XX: architecture header files

[Kevin Wells]

> 
> > +#define VMALLOC_END	(PAGE_OFFSET + 0x10000000)
> grepping shows that defining VMALLOC_END based on PAGE_OFFSET is usual,
> but I wonder why you don't just

The maximum addressable DRAM sizing is 256MB when fully populated. It seemed
the right size. 0xF0000000 works too though, I have no problems changing it.

> 
> 	#define VMALLOC_END 0xF0000000
>