Hi!

CONFIG_DEBUG_VM exposes this splat:
BUG: failure at mm/page_alloc.c:2467/free_pages()!

addr is 0xc100c000, but memory_end is 0x02000000.

Thanks,
//richard