Re: [SeaBIOS] [PATCH v3] DSDT: Fix HPET _CRS Method