Re: [coreboot] [patch] improve ck804 HPET resource handling