This was added for change
To get the PPIN of the second socket I make use of this config, but if it's causing
problems then I think it can be disabled unless we don't have any better way to do it.

View Change

To view, visit change 48674. To unsubscribe, or for help writing mail filters, visit settings.

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: Id64425730a367d7a31716d26a1e99024e326baf2
Gerrit-Change-Number: 48674
Gerrit-PatchSet: 1
Gerrit-Owner: Arthur Heymans <>
Gerrit-Reviewer: Angel Pons <>
Gerrit-Reviewer: Anjaneya "Reddy" Chagam <>
Gerrit-Reviewer: Johnny Lin <>
Gerrit-Reviewer: Jonathan Zhang <>
Gerrit-Reviewer: Marc Jones <>
Gerrit-Reviewer: Morgan Jang <>
Gerrit-Reviewer: build bot (Jenkins) <>
Gerrit-Comment-Date: Thu, 17 Dec 2020 03:12:30 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: No
Gerrit-MessageType: comment