[coreboot] a question about reset16.lds