[SeaBIOS] [PATCH RFC 10/13] i386: generate pc guest info