make: fix make targets buildtest and info-boards-supported

Fixes issues with the make targets buildtest and info-boards-supported
on OS X hosts. Comments and recommentations to simplify and beautify
would be appreciated.