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

the following patch was just integrated into master:
commit 988179e215128fdecefaff0f9dc3294c7f8ab0c5
Author: Stefan Reinauer 
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 
    Reviewed-on: https://chromium-review.googlesource.com/176030
    Reviewed-by: Ronald Minnich 
    Commit-Queue: Stefan Reinauer 
    Tested-by: Stefan Reinauer

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

-gerrit