Re: [SeaBIOS] enable hvm in SeaBios