Always treat invalid images as nonexistant now.

firmware/lib/vboot_kernel.c

Index: firmware/lib/vboot_kernel.c
diff --git a/firmware/lib/vboot_kernel.c b/firmware/lib/vboot_kernel.c
index 93ed4d1ec35ac1775eae963de1283fa133d6c359..7512535ba8dfe83ac2e12f2608ce2b1329fc3481 100644
--- a/firmware/lib/vboot_kernel.c
+++ b/firmware/lib/vboot_kernel.c
@@ -429,9 +429,10 @@ int LoadKernel(LoadKernelParams* params) {
     return LOAD_KERNEL_SUCCESS;
   }
 
-  // Handle error cases
-  if (found_partitions)
-    return LOAD_KERNEL_INVALID;
-  else
-    return LOAD_KERNEL_NOT_FOUND;
+  /* The BIOS may attempt to display different screens depending on whether
+   * we find an invalid kernel partition (return LOAD_KERNEL_INVALID) or not.
+   * But the flow is changing, so for now treating both cases as invalid gives
+   * slightly less confusing user feedback. Sigh.
+   */
+  return LOAD_KERNEL_INVALID;
 }