No matches were found for subject:"\[arch\-general\] efi boot kernel file sync \- is it still necessary for refind\?"