seabios with Xen stubdom vTPM