[coreboot] ADLO loader help