install real kernel on travis