Boot hangs on ZOTAC ZBOX (Via Nano X2)

[G]

Hi,

I've got a ZOTAC ZBOX nano VD01
(http://www.zotacusa.com/zbox-nano-vd01.html). The boot process 
(9.1-RELEASE, amd64) hangs after "Timecounters tick every 1.000 msec".
I tried with ACPI off, but it crashes.

Here's a pic with "Verbose" turned on: http://i.imgur.com/DQJkmoV.jpg

I've found this post about adding some PCI ids:
http://www.mavetju.org/mail/view_message.php?list=svn-src-vendor&id=3610911&raw=yes

The box gets mentioned in the list. Has this been been committed to
9.1? Does it have anything to do with the issue at hand?

Finally, tried with 10-CURRENT (amd64-20130105-r245067), no luck.
For what it's worth, here's what it looks like with "verbose" on:
http://i.imgur.com/L938PH2.jpg

Thanks.