Linux kernel source of Symphony GoFox F15 (Dolphin)