@zander: I could do so tomorrow at the university (where I have a serial null-modem cable). Or is something like http://www.unixguide.net/freebsd/faq/18.13.shtml
enough? Could you please tell me (via PM) what I need to send to freebsd-gfx-bugs and how to obtain it, since I've never debugged drivers before. If necessary I can recompile the kernel, use a serial null-modem cable or whatever is needed.