[PATCH 1/2] efi: Avoid cold plugged memory for placing the kernel