if ((CbParseGetCbHeader (1, &pCbHeader) == RETURN_SUCCESS)\r
&& ((UINTN)pCbHeader > BASE_4KB)) {\r
DEBUG((EFI_D_ERROR, "Actual Coreboot header: %p.\n", pCbHeader));\r
- PcdSet32 (PcdCbHeaderPointer, (UINT32)(UINTN)pCbHeader);\r
+ Status = PcdSet32S (PcdCbHeaderPointer, (UINT32)(UINTN)pCbHeader);\r
+ ASSERT_EFI_ERROR (Status);\r
}\r
\r
//\r