Re: [coreboot] device cleanup and printing fixes