mm/page_alloc.c: introduce kernelcore=mirror option