[SeaBIOS] Re: [PATCH 0/2] Fix reset issue with QEMU -machine q35