Changed BOOLEAN to bool in order for openocd to compile on Linux