[coreboot-gerrit] Patch merged into coreboot/master: d63b97f mainboard/amd: Sanitise headers in PlatformGnbPcie.c

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit d63b97f9ab5bda1b696a53c66a3b802316762bfe
Author: Edward O'Callaghan <eocallaghan at alterapraxis.com>
Date:   Thu Jun 12 16:12:43 2014 +1000

    mainboard/amd: Sanitise headers in PlatformGnbPcie.c
    
    It is hard to see where things are coming from without correct headers.
    
    Change-Id: I8e2195b101501ffd25464196283fb2bddb5b8f51
    Signed-off-by: Edward O'Callaghan <eocallaghan at alterapraxis.com>
    Reviewed-on: http://review.coreboot.org/5980
    Reviewed-by: Bruce Griffith <Bruce.Griffith at se-eng.com>
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>


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

-gerrit