Re: [coreboot] [PATCH] ASL should report AMD SB600/SB700 RTC as not PIIX4 compatible