Using old Raspberry Pi A (2011)

@mmoskal what’s the magic flag to produce the .elf file directly?