what kernel and firmware do i put on this card was supposed to come already installed thanks