* config/sh/sh.h (TARGET_FPU_DOUBLE): Use MASK_SH4.