[LinuxBIOS] Alix boards