[coreboot] [RFC][PATCHv2]add WIP_ARM config entry

[Alex G.]

> P.S. Can I use git diff to generate the patch?
Why not? It isn't _that_ difficult to patch -p1 instead of -p0. :)
I've seen a few git diff patches flying around, and no one complained.

Alex