Added initial support for the FDI3250 board for kernel