DSDT.asl should not report the AMD SB600/SB700 RTC as Intel PIIX4