Fix longstanding "error: storage size of '__mod_dmi_device_table' isn't known"