[PATCH] x86_64: Recover 1MB of kernel memory