[SeaBIOS] FW: [PATCH] SeaBios/vTPM: Enable Xen stubdom vTPM for HVM virtual machine