Linux Kernel for PXA based gPlugD device