Re: [PATCH] installer: Harden mount options of /boot partition