[LinuxBIOS] Build broken?