[SeaBIOS] Re: [PATCH 2/2] virtio-pci: Use %pP format in dprintf() calls