[bitfolk] Xen problem: can't boot after update to Debian Wheezy