[coreboot] Question about PK location