ARM support question

See: @davidkaroly
Ref: My Haiku ARM (UEFI) port progress - #301 by andreas_dr