[PATCH] x86_64: Avoid EBDA area in early boot allocator