intelli_plug: make it gcc-4.6.x eabi compatible