Re: [SeaBIOS] synching GPE0_BLK between OVMF and qemu