(In reply to Michael Chang from comment #1) > It seems /boot is a separate partition I got used to the system configuration approach to store the directory ���������/boot��������� on a separate partition. > ... but didn't get mounted rightfully due to systemd.automount units missing? My file ���������/etc/fstab��������� contains appropriate entries.