[LinuxBIOS] Potential port?