Re: [coreboot] [PATCH] v3: make dev_phase2() output prettier