[PATCH] Samsung/Arndale: fix RELEASE build with ARMLINUXGCC