Re: [SeaBIOS] DSDT: SMC device node (was: Fix HPET _CRS Method)