[LinuxBIOS] [PATCH] buildrom: add packages/kernel/patches/tiny_m57sli