I expect to have a Rockchip RK3288-based system, (quad-core Cortex-A17's), which comes pre-loaded with KitKat. Is there any documentation on whether, and if so, how I could build a Linux system around the same kernel, so as to create a dual-boot Android/Linux system? Answers on a post-card......