Is anyone aware of plans to support the D4 Media Boards in a 64-bit Linux Environment? Particularly, installing LiS on CentOS 7 which is only available in a 64-bit version. in Developer Group

Is anyone aware of plans to support the D4 Media Boards in a 64-bit Linux Environment?  Particularly, installing LiS on CentOS 7 which is only available in a 64-bit version. in Developer Group