[SeaBIOS] [PATCH v16] Add pvpanic device driver