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