Do on spike too.

Patch set 1:Code-Review -1

View Change

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

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: I00f8e3b315e57a5c042889f48450f79d263f24b1
Gerrit-Change-Number: 36446
Gerrit-PatchSet: 1
Gerrit-Owner: Arthur Heymans <>
Gerrit-Reviewer: Arthur Heymans <>
Gerrit-Reviewer: Philipp Hug <>
Gerrit-Reviewer: build bot (Jenkins) <>
Gerrit-Reviewer: ron minnich <>
Gerrit-Comment-Date: Tue, 29 Oct 2019 23:24:33 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: Yes
Gerrit-MessageType: comment