BSP support for Samsung boards