From: José Ignacio Tornos Martínez on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/2154#note_1235...
I really don't know why it is like this and not in debug for x86 (I couldn't
find it), but without more information I would keep it the same just in case.