replace 3.18 kernel with correct arch