[PATCH] mod_devicetable.h fixes