Re: [PATCH] Add DMI ID for MSI Bravo 15 B7ED