CyanogenMod port for HP "pine" Slate  2800 / kernel part