Fixing 'make doc'

`make doc` is the only time make gets directly called from the main RIOT directory. Thus, neither CPU nor BOARD are set.