[mixos] change kernel download file Extension