[SeaBIOS] Re: [PATCH 0/2] dsdt: add support for pnp ids as strings