Re: [U-Boot] [PATCH 04/12] x86: Change to use start/end address pair in write_tables()