Re: [coreboot] AMD AGESA: How to access an indexed register?