ARM: mark empty gpio.h files empty