armv7: delete unneeded ptrace.h

... and delete traces in source files.

Change-Id: Ie0f70a479f1eadadc654a41fa3c426d1d4ac2f2b
Signed-off-by: Stefan Reinauer <reinauer@google.com>
Reviewed-on: http://review.coreboot.org/2152
Tested-by: build bot (Jenkins)
Reviewed-by: Ronald G. Minnich <rminnich@gmail.com>

src/arch/armv7/lib/interrupts.c

@@ -36,7 +36,6 @@
  */
 
 #include <common.h>
-//#include <asm/proc-armv/ptrace.h>
 
 DECLARE_GLOBAL_DATA_PTR;