Added platform for linuxium's linux kernel