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