[SeaBIOS] [PATCH] Add DMI configuration