Re: [PATCH] kernel.spec: adding --with firmware & --without vdso_install build options