[LinuxBIOS] What is proper release to use with Iwill DK8-HTX?