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