[coreboot] A couple of lost [PATCH]es