Re: [coreboot] [PATCH] build vs. $(obj) in Makefiles (was Re: [v2] r4875 ...)