Olimex is making a 64-bit ARM board that is Open Source Hardware with KiCad!
A64-OLinuXino update: schematic almost done now component placement on the PCB is on the way
Initial post announcing the board:
We work on A64-OLinuXino the first Open Source Hardware 64-bit development board
Olimex is also brainstorming how to turn it into a laptop:
A64-OLinuXino OSHW 64-bit ARM DIY Laptop idea update
https://olimex.wordpress.com/2015/11/05/a64-olinuxino-oshw-64-bit-arm-diy-laptop-idea-update/
cheers,
drew