Re: [coreboot] Question about PK location