小米澎湃OS3 REDMI K90 内核已开源。