Fix Ubuntu kernel to remove unnecessary modifications, add Android