[coreboot] New patch to review for coreboot: 8201b22 armv7: delete unneeded ptrace.h