I also tried a couple of different values for vga=7xx but without effect. Any idea how I could debug this?
Yes. Since we're using Xfbdev in TinyCorePure64, the vga=7xx option has no effect whatsoever if you change it. It is a dummy option on 64bit Xfbdev, but *something* has to be there regardless - this has caught me a few times myself.
The quick solution is to modify your grub.cfg (permanently, or by doing it manually at first boot menu) and add a line to your boot stanza just prior to the kernel and init lines.
Ie, for 1024x768 use
set gfxpayload=1024x768
I use it often with temporary Ventoy installs when the grub menu appears. I'll usually edit the "tcw" (TC usbWait) stanza with this just preceding it before I start it with F10
Some may not realize when temporarily editing the grub boot menu manually at boot, that they can actually ADD lines to it, such as the gfxpayload line - although naturally editing is limited to moving the cursor around, but no a big deal.
But yeah, sometimes I'll forget that since we're using Xfbdev with 64-bit (at least initially), that vga=xxx option has no effect, but it HAS to be there.