imx6 appears to be a future product and there are no indications of how many PCIe lanes it has. The main problem with ARM and OS4 is that OS4 is a desktop oriented OS and ARM hardware is primarily mobile. If there are no readily available ARM desktop boards