x86, setup: Rename BOOT_ISDIGIT_H to BOOT_CTYPE_H