Re: [LinuxBIOS] Devtreefs patch hits lmkl