OS X: Use kCFNumberSInt32Type when reading device location from the IO registry