Re: [LinuxBIOS] build failure with r2728