No need to get kernel sources; installed by installer.