src/soc/samsung: Remove unused <stdlib.h>

Change-Id: I6a933295de7c41d62e6a95f955c098b49ea17f08
Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/33689
Reviewed-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>

src/soc/samsung/exynos5250/alternate_cbfs.c

@@ -18,7 +18,6 @@
 #include <soc/alternate_cbfs.h>
 #include <soc/power.h>
 #include <soc/spi.h>
-#include <stdlib.h>
 #include <symbols.h>
 
 /* This allows USB A-A firmware upload from a compatible host in four parts:

src/soc/samsung/exynos5250/clock.c

@@ -18,7 +18,6 @@
 #include <console/console.h>
 #include <soc/clk.h>
 #include <soc/periph.h>
-#include <stdlib.h>
 #include <timer.h>
 
 /* input clock of PLL: SMDK5250 has 24MHz input clock */

src/soc/samsung/exynos5250/cpu.c

@@ -23,7 +23,6 @@
 #include <soc/dp-core.h>
 #include <soc/fimd.h>
 #include <stddef.h>
-#include <stdlib.h>
 #include <string.h>
 
 #include "chip.h"

src/soc/samsung/exynos5250/fb.c

@@ -25,7 +25,6 @@
 #include <soc/i2c.h>
 #include <soc/power.h>
 #include <soc/sysreg.h>
-#include <stdlib.h>
 #include <timer.h>
 
 /*

src/soc/samsung/exynos5250/spi.c

@@ -21,7 +21,6 @@
 #include <soc/clk.h>
 #include <soc/gpio.h>
 #include <soc/spi.h>
-#include <stdlib.h>
 #include <symbols.h>
 
 #if defined(CONFIG_DEBUG_SPI) && CONFIG_DEBUG_SPI

src/soc/samsung/exynos5420/alternate_cbfs.c

@@ -19,7 +19,6 @@
 #include <soc/alternate_cbfs.h>
 #include <soc/power.h>
 #include <soc/spi.h>
-#include <stdlib.h>
 #include <symbols.h>
 
 /* This allows USB A-A firmware upload from a compatible host in four parts:

src/soc/samsung/exynos5420/clock.c

@@ -18,7 +18,6 @@
 #include <console/console.h>
 #include <soc/clk.h>
 #include <soc/periph.h>
-#include <stdlib.h>
 #include <timer.h>
 
 /* input clock of PLL: SMDK5420 has 24MHz input clock */

src/soc/samsung/exynos5420/cpu.c

@@ -24,7 +24,6 @@
 #include <soc/cpu.h>
 #include <soc/clk.h>
 #include <stddef.h>
-#include <stdlib.h>
 #include <string.h>
 
 #include "chip.h"

src/soc/samsung/exynos5420/dp.c

@@ -21,7 +21,6 @@
 #include <soc/i2c.h>
 #include <soc/power.h>
 #include <soc/sysreg.h>
-#include <stdlib.h>
 #include <string.h>
 
 /*

src/soc/samsung/exynos5420/dp_lowlevel.c

@@ -22,7 +22,6 @@
 #include <soc/i2c.h>
 #include <soc/power.h>
 #include <soc/sysreg.h>
-#include <stdlib.h>
 
 /* FIXME: I think the DP controller shouldn't be hardcoded here... */
 static struct exynos_dp * const dp_regs = (void *)EXYNOS5_DP1_BASE;

src/soc/samsung/exynos5420/pinmux.c

@@ -15,7 +15,6 @@
 
 #include <soc/gpio.h>
 #include <soc/pinmux.h>
-#include <stdlib.h>
 
 static void exynos_pinmux_uart(int start, int count)
 {

src/soc/samsung/exynos5420/smp.c

@@ -18,7 +18,6 @@
 #include <device/mmio.h>
 #include <soc/cpu.h>
 #include <soc/power.h>
-#include <stdlib.h>
 #include <string.h>
 #include <types.h>
 

src/soc/samsung/exynos5420/spi.c

@@ -20,7 +20,6 @@
 #include <soc/cpu.h>
 #include <soc/spi.h>
 #include <spi-generic.h>
-#include <stdlib.h>
 #include <string.h>
 #include <symbols.h>