Re: [coreboot] [PATCH] AMD SB600 uses a hardcoded USB Debug Port number