kernel: update manifest
Align manifest with kernel source to fix build issue.
Change-Id: I5b3825edcc693dc100e955a91cd9be1937ffde9a Signed-off-by: Guillaume La Roque glaroque@baylibre.com
Align manifest with kernel source to fix build issue.
Change-Id: I5b3825edcc693dc100e955a91cd9be1937ffde9a Signed-off-by: Guillaume La Roque glaroque@baylibre.com