tree-wide: fix typo and comment style update

src/boot/efi/bcd.c

@@ -204,7 +204,7 @@ static const KeyValue *get_key_value(const uint8_t *bcd, uint32_t bcd_len, const
 /* The BCD store is really just a regular windows registry hive with a rather cryptic internal
  * key structure. On a running system it gets mounted to HKEY_LOCAL_MACHINE\BCD00000000.
  *
- * Of interest to us are the these two keys:
+ * Of interest to us are these two keys:
  * - \Objects\{bootmgr}\Elements\24000001
  *   This key is the "displayorder" property and contains a value of type REG_MULTI_SZ
  *   with the name "Element" that holds a {GUID} list (UTF16, NUL-separated).

src/boot/efi/boot.c

@@ -1907,7 +1907,7 @@ static ConfigEntry *config_entry_add_loader_auto(
                  * but we do not want to do that if that would be us.
                  *
                  * If the default loader is not us, it might be shim. It would
-                 * chainload GRUBX64.EFI in that case, which might be us.*/
+                 * chainload GRUBX64.EFI in that case, which might be us. */
                 if (strcaseeq16(loader, loaded_image_path) ||
                     is_sd_boot(root_dir, loader) ||
                     is_sd_boot(root_dir, u"\\EFI\\BOOT\\GRUB" EFI_MACHINE_TYPE_NAME u".EFI"))

src/boot/efi/console.c

@@ -47,7 +47,7 @@ EFI_STATUS console_key_read(uint64_t *key, uint64_t timeout_usec) {
         assert(key);
 
         if (!checked) {
-                /* Get the *first* TextInputEx device.*/
+                /* Get the *first* TextInputEx device. */
                 err = BS->LocateProtocol(
                                 MAKE_GUID_PTR(EFI_SIMPLE_TEXT_INPUT_EX_PROTOCOL), NULL, (void **) &extraInEx);
                 if (err != EFI_SUCCESS || BS->CheckEvent(extraInEx->WaitForKeyEx) == EFI_INVALID_PARAMETER)

src/boot/efi/cpio.c

@@ -79,7 +79,7 @@ static EFI_STATUS pack_cpio_one(
         if (*inode_counter == UINT32_MAX) /* more than 2^32-1 inodes? yikes. cpio doesn't support that either */
                 return EFI_OUT_OF_RESOURCES;
 
-        l = 6 + 13*8 + 1 + 1; /* Fixed CPIO header size, slash separator, and NUL byte after the file name*/
+        l = 6 + 13*8 + 1 + 1; /* Fixed CPIO header size, slash separator, and NUL byte after the file name */
 
         target_dir_prefix_size = strlen8(target_dir_prefix);
         if (l > SIZE_MAX - target_dir_prefix_size)
@@ -177,7 +177,7 @@ static EFI_STATUS pack_cpio_dir(
         if (*inode_counter == UINT32_MAX)
                 return EFI_OUT_OF_RESOURCES;
 
-        l = 6 + 13*8 + 1; /* Fixed CPIO header size, and NUL byte after the file name*/
+        l = 6 + 13*8 + 1; /* Fixed CPIO header size, and NUL byte after the file name */
 
         path_size = strlen8(path);
         if (l > SIZE_MAX - path_size)