Oops - use unique section names for the board driver stubs in the documentation.