Should probably install kernel sources if none are there