BayLibre / mediatek / RITA / vendor / cadence / prebuilts