Fix CircleCI build problems#808

Merged

tlaurion merged 3 commits into

linuxboot:masterfrom

tlaurion:make_421_fix-CircleCI_unhack2

Aug 20, 2020

Commits on Aug 20, 2020

CircleCI: debian:10 docker based. Give possitility to override CACHE_VERSION through CircleCI when needed
tlaurion
committed
Makefile: fix #799 with implementation of @osresearch's recommended https://github.com/osresearch/heads/issues/799#issuecomment-673059028
tlaurion
committed
modules/coreboot : indentation fix and putting version hashes together to facilitate future maintainership.
tlaurion
committed