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