Download the same kernel type as the currently running architecture