read_xed_db.py: allow 0-9 for map digits
read_xed_db.py: allow 0-9 for map digits

(cherry picked from commit 0f75becb2d111ac5730d2b25cc4927090539a0c7)

intelxed/xed,intelxed/xed,intelxed/xed,intelxed/xed