Re: [SeaBIOS] [PATCH v15 2/2] patch dsdt to use passed-in pvpanic ioport