[SeaBIOS] SeaBIOS causing Xen HVM VCPU Triple fault