[PULL 08/66] hw/mips/boston: Check 64-bit support with cpu_type_is_64bit()