x86/mm: Identify the end of the kernel area to be reserved