[coreboot] [PATCH] Fix and clean up DBM690T/Pistachio DSDT