(Just to be clear: the previous commit added the out-of-tree "bcmkernel"
headers which were explicitly included afterwards in the build system)