Patch merged into coreboot/master: 9382bd6 armv7: delete unneeded ptrace.h

the following patch was just integrated into master:
commit 9382bd65d4ebee690fe7ee6602d418144ed92d54
Author: Stefan Reinauer 
Date:   Wed Jan 16 00:26:41 2013 +0100

armv7: delete unneeded ptrace.h

... and delete traces in source files.

Change-Id: Ie0f70a479f1eadadc654a41fa3c426d1d4ac2f2b
    Signed-off-by: Stefan Reinauer 
    Reviewed-on: http://review.coreboot.org/2152
    Tested-by: build bot (Jenkins)
    Reviewed-by: Ronald G. Minnich

Build-Tested: build bot (Jenkins) at Wed Jan 16 00:42:05 2013, giving +1
Reviewed-By: Ronald G. Minnich  at Wed Jan 16 00:48:02 2013, giving +2
See http://review.coreboot.org/2152 for details.

-gerrit