[coreboot-gerrit] Change in ...libhwbase[master]: Makefile.proof: Add --no-inlining to SPARKFLAGS