BoardConfig: update kernel module list

We add missing module and move on in builtin to be align with GKI image. so update list of module to fix SD Card detection.

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