/stand/kboot/libkboot/arch/powerpc64/