kernel: update manifest

Align manifest with kernel source to fix build issue.

Change-Id: I5b3825edcc693dc100e955a91cd9be1937ffde9a Signed-off-by: Guillaume La Roque glaroque@baylibre.com

Merge request reports

Loading