[coreboot] RFC: Behavior of make *config