headers/private/kernel/boot/platform/openfirmware/platform_arch.h headers/private/kernel/boot/platform/routerboard_mipsel/platform_arch.h headers/private/kernel/boot/platform/u-boot/platform_arch.h
