[coreboot-gerrit] Change in coreboot[master]: arch/arm/include: Remove unused armv7 types.h