I'm not sure if it's related to SeaBIOS because SeaBIOS configuration is stored in QEMU. So I think CONFIG_TSC_TIMER should be disabled in seabios-128k.config and the 128k variant of SeaBIOS should be used for isapc.
Please see the thread for details:
https://lists.gnu.org/archive/html/qemu-devel/2019-08/msg03924.html
I'm not sure if it's related to SeaBIOS because SeaBIOS configuration is stored in QEMU.
So I think CONFIG_TSC_TIMER should be disabled in seabios-128k.config and the 128k variant of SeaBIOS should be used for isapc.
Please see the thread for details:
https:/ /lists. gnu.org/ archive/ html/qemu- devel/2019- 08/msg03924. html