Samsung DeviceTree ARM64 update for v4.9:
1. Use human-friendly symbols for interrupt flags.