c8813q: use ubuntu-specific kernel config