[LinuxBIOS] [rminnich@gmail.com: Re: [ward@gnu.org: Re: [PATCH] buildrom: add packages/kernel/patches/tiny_m57sli]]