Add Kernel Defines

change to hellboy 4.2 config, add linaro toolchain 4.7.3(test)