[mixos] kernel add PR = "r1"