Re: [SeaBIOS] [PATCH 1/5] Reindent DSDT code.