Use our kernel config and not vanquish's