One more issue I've found: the ethernet ports seem to be assigned to eth0 or eth1 randomly on reboot. This is a bit of an issue since eth0 is assigned a static IP (192.168.1.1) in the /etc/network/interfaces. I think we can prevent the random assignment by setting up some udev rules: https://wiki.debian.org/udev -- James Valleroy