Re: [LinuxBIOS] [PATCH] v3: factor out one makefile rule