[coreboot-gerrit] Change in coreboot[master]: binaryPI boards: Drop unused header

[build bot (Jenkins) (Code Review)]

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

Change subject: binaryPI boards: Drop unused header
......................................................................


Patch Set 2:

Build Successful 

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

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

-- 
To view, visit https://review.coreboot.org/19950
To unsubscribe, visit https://review.coreboot.org/settings

Gerrit-MessageType: comment
Gerrit-Change-Id: I869d426c1344290a00e2df60e07e9a4a3ae26887
Gerrit-PatchSet: 2
Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Owner: Kyösti Mälkki <kyosti.malkki at gmail.com>
Gerrit-Reviewer: Paul Menzel <paulepanter at users.sourceforge.net>
Gerrit-Reviewer: Philippe Mathieu-Daudé <philippe.mathieu.daude at gmail.com>
Gerrit-Reviewer: build bot (Jenkins) <no-reply at coreboot.org>
Gerrit-HasComments: No