[PATCH 2/4] include: Fix __dmb declaration.