| Index: firmware/lib/vboot_kernel.c
|
| diff --git a/firmware/lib/vboot_kernel.c b/firmware/lib/vboot_kernel.c
|
| index 3369b6d6632369ff4c3251012332c971cc2c5b58..8ee45a7eabb3b6aa7bf728bd50005f1bfa3f75aa 100644
|
| --- a/firmware/lib/vboot_kernel.c
|
| +++ b/firmware/lib/vboot_kernel.c
|
| @@ -325,12 +325,15 @@ int LoadKernel(LoadKernelParams* params) {
|
| }
|
|
|
| /* Read the kernel data */
|
| + VBPERFSTART("VB_RKD");
|
| if (0 != BootDeviceReadLBA(part_start + body_offset_sectors,
|
| body_sectors,
|
| params->kernel_buffer)) {
|
| VBDEBUG(("Unable to read kernel data.\n"));
|
| + VBPERFEND("VB_RKD");
|
| goto bad_kernel;
|
| }
|
| + VBPERFEND("VB_RKD");
|
|
|
| /* Verify kernel data */
|
| if (0 != VerifyData((const uint8_t*)params->kernel_buffer,
|
|
|