[coreboot-gerrit] Change in coreboot[master]: arch/x86: Write ACPI DBG2 table only if the device has been enabled

[build bot (Jenkins) (Code Review)]

build bot (Jenkins) has posted comments on this change. ( https://review.coreboot.org/22552 )

Change subject: arch/x86: Write ACPI DBG2 table only if the device has been enabled
......................................................................

Patch Set 2: Verified+1

Build Successful

https://qa.coreboot.org/job/coreboot-checkpatch/18516/ : SUCCESS

https://qa.coreboot.org/job/coreboot-gerrit/63616/ : SUCCESS