It seems the High Density parts of the system are on a separate off the shelf SoM (System on Module) that was presumably not designed in KiCAD. It'll be informative to see if they can continue to use KiCAD when they do the final integrated version of Librem that will presumably have the SoC on the mainboard. I'd very much like to use KiCAD for projects like that in the future, so hoping they can prove it viable.