Re: [PATCH v4 12/13] x86: galileo: Use devicetree for SMBIOS settings