Rikomagic UK to offer Minix Linux ARM PCs (MK802 III LE, MK802 IV LE)