F10 post installation kernel issue?