[coreboot-gerrit] Change in coreboot[master]: arch/arm/armv7/thread.c: Remove stale file