diff --git a/linux.c b/linux.c
index 7274f06..77f1d7e 100644
--- a/linux.c
+++ b/linux.c
@@ -28,7 +28,7 @@ EFI_STATUS linux_exec(
                 const struct iovec *initrd) {
 
         size_t kernel_size_in_memory = 0;
-        uint32_t compat_entry_point, entry_point;
+        uint32_t entry_point;
         uint64_t image_base;
         EFI_STATUS err;
 
@@ -36,7 +36,7 @@ EFI_STATUS linux_exec(
         assert(iovec_is_set(kernel));
         assert(iovec_is_valid(initrd));
 
-        err = pe_kernel_info(kernel->iov_base, &entry_point, &compat_entry_point, &image_base, &kernel_size_in_memory);
+        err = pe_kernel_info(kernel->iov_base, &entry_point, &image_base, &kernel_size_in_memory);
         if (err != EFI_SUCCESS)
                 return log_error_status(err, "Bad kernel image: %m");
 
diff --git a/stub.c b/stub.c
index 1d26292..2159cdb 100644
--- a/stub.c
+++ b/stub.c
@@ -161,7 +161,6 @@ static EFI_STATUS run(EFI_HANDLE image) {
         if (err != EFI_SUCCESS)
                 return err;
 
-
         /* Let's measure the passed kernel command line into the TPM. Note that this possibly
          * duplicates what we already did in the boot menu, if that was already
          * used. However, since we want the boot menu to support an EFI binary, and want to