[PATCH 5/7] include: Implement __cpuidex() function.