VBoot Reference: Make kernel_config a 4K byte block, and move it after the verified boot block.

src/platform/vboot_reference/tests/kernel_image_tests.c

Index: src/platform/vboot_reference/tests/kernel_image_tests.c
diff --git a/src/platform/vboot_reference/tests/kernel_image_tests.c b/src/platform/vboot_reference/tests/kernel_image_tests.c
index eee0417c7072063d2ee4958fda31a568e18b644a..15f75bd418a57c9b1a0e822d2d61a286ca4bdd80 100644
--- a/src/platform/vboot_reference/tests/kernel_image_tests.c
+++ b/src/platform/vboot_reference/tests/kernel_image_tests.c
@@ -40,14 +40,14 @@ void VerifyKernelImageTest(KernelImage* image,
 /* Tampered KernelImage Verification Tests. */
 void VerifyKernelImageTamperTest(KernelImage* image,
                                  RSAPublicKey* firmware_key) {
-  image->options.kernel_load_addr = 0xFFFF;
+  image->kernel_config[0] ^= 0xFF;
   TEST_EQ(VerifyKernelImage(firmware_key, image, DEV_MODE_ENABLED),
           VERIFY_KERNEL_CONFIG_SIGNATURE_FAILED,
           "KernelImage Config Tamper Verification (Dev Mode)");
   TEST_EQ(VerifyKernelImage(firmware_key, image, DEV_MODE_DISABLED),
           VERIFY_KERNEL_CONFIG_SIGNATURE_FAILED,
           "KernelImage Config Tamper Verification (Trusted)");
-  image->options.kernel_load_addr = 0;
+  image->kernel_config[0] ^= 0xFF;
 
   image->kernel_data[0] = 'T';
   TEST_EQ(VerifyKernelImage(firmware_key, image, DEV_MODE_ENABLED),