[LinuxBIOS] build failure with r2728