Re: [PATCH] flash-images: Harden mount options of /boot