Update arch/arm/plat-samsung/include/plat/devs.h