Re: [SeaBIOS] [seabios PATCH 1/2] seabios: build RSDT from XSDT