use kernel from trunk where the wextoolbox configs are