Files
SplenkOS/gnu-efi/lib/arm/initplat.c