More kernel card handling.