I have followed all of the steps in "3.1.3.6.1. Instructions to add custom Board to the PDK build" in the Processor SDK RTOS user guide. But when I get to the end and run the gmake instruction, it tells me there is no rule for board_lib. Examining the makefile I see that there is indeed no rule for board_lib. What's going on?