[PATCH 1/2] Samsung/Arndale: remove GIC400 driver