Re: [LinuxBIOS] [PATCH] Tyan S1846: Device tree fixes