Running Android or Linux from an SD card on a RK3288 device - An easy way to dual boot