[coreboot-gerrit] Patch merged into coreboot/master: 6c99250 device/pci_device.c: Sanitize headers

the following patch was just integrated into master:
commit 6c99250c3fb97ccaa03d4f0c158caffdc53ff995
Author: Edward O'Callaghan 
Date:   Fri Jun 20 21:19:06 2014 +1000

device/pci_device.c: Sanitize headers

Change-Id: I6254f4ab767952cc8ff31bb462c7037b027442ba
    Signed-off-by: Edward O'Callaghan 
    Reviewed-on: http://review.coreboot.org/6079
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi

See http://review.coreboot.org/6079 for details.

-gerrit