[coreboot-gerrit] Patch merged into coreboot/master: 988179e kirby is dead. long live the arm pit.

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 988179e215128fdecefaff0f9dc3294c7f8ab0c5
Author: Stefan Reinauer <reinauer at chromium.org>
Date:   Wed Nov 6 16:38:21 2013 -0800

    kirby is dead. long live the arm pit.
    
    Remove kirby from our tree. It's dead.
    
    BUG=none
    BRANCH=none
    TEST=none
    
    Change-Id: I0768a9ea40be5d70d845a46f6e28036a133b7aa6
    Signed-off-by: Stefan Reinauer <reinauer at google.com>
    Reviewed-on: https://chromium-review.googlesource.com/176030
    Reviewed-by: Ronald Minnich <rminnich at chromium.org>
    Commit-Queue: Stefan Reinauer <reinauer at chromium.org>
    Tested-by: Stefan Reinauer <reinauer at chromium.org>


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

-gerrit