This commit updates the dependency symbols needed in the microkernel config overlay files. Change-Id: I0a846956a7d0d6aaa93cd4bf11ba3853f6301220 Signed-off-by: Juan Manuel Cruz <juan.m.cruz.alcaraz@linux.intel.com>
Signed-off-by: <inaky.perez-gonzalez@intel.com>