Re: [SeaBIOS] [PATCH 1/4] change return value of dc_setup() and vp_setup() to void