[SeaBIOS] [PATCH] Reject non-compliant PCI option ROMs