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