build-fix for bs11_config

Hi, it seems that the last few commits (starting with SVN revision 308) broke the compilation of bs11_config. As I wanted to take a look at the boot process of my newly delivered BS11, I've just fixed bs11_config to build again and it even seems to work. Find attached my (ugly) patch to fix the build problems. Regards, Michael -- Michael Gernoth Department of Computer Science IV Martensstrasse 1 D-91058 Erlangen Germany University of Erlangen-Nuremberg http://www4.informatik.uni-erlangen.de/~gernoth/