[PATCH v4 0/9] Adjust initial EFI memory-allocation to be in the U-Boot region