technically it's only quad. Only 4 cores can be used at a time. 4 little for low power consumption or 4 BIG for cpu intensive tasks - hence it's called big.LITTLE You just need your own kernel, and an armv7 rootfs. The kernel will take care of multiprocessing and switching
While compiling the kernel you need to make sure you have selected all the kernel config options to satisfy systemd requirements:
http://cgit.freedesktop.org/systemd/systemd/tree/READMEIf your google search didn't turn anything up, here's the kernel:
http://www.arndaleboard.org/wiki/index. ... the_Kernel , though read how to get the sources too.