Re: [arch-releng] [RFC] [PATCH] [archiso] Update kernel image name for linux-3.0