Building LinuxBIOS