Fix -m 3000 kernel