Re: [SeaBIOS] [PATCH v16] Add pvpanic device driver