[PATCH 6.17 006/159] arm64/sysreg: Fix GIC CDEOI instruction encoding