[coreboot] question about dsdt table in coreboot