Re: [PATCH 33/67] x86: Align the SMBIOS table to a 4K boundary