Okay, I was missing extension graphics-4.8.17-tinycore.tcz, which provides drm.ko and ttm.ko. The vboxvideo.ko module loads now, and I can resize the window (but it doesn't do a nice job - I have to reboot after setting the size).
The "Seamless Mode" ...
The "Seamless Mode" ...