[hd2400 and formular] update kernel build for gcc 4.9