back to 32/64bit and speed up edk2 checkout