Re: [LinuxBIOS] [PATCH] buildrom: m57sli linux kernel config + makefile