prefer ath5k over madwifi and include kexec-tools in the default profile