[coreboot-gerrit] Patch set updated for coreboot: 1001857 beaglebone: initial Kconfig and Makefiles