Re: [U-Boot] [PATCH 04/12] x86: doc: Remove stale sections of 64-bit support