Fix kernel/linux for alternate-PREFIX builds
kernel/linux: Fix install-headers for alternate-PREFIX builds
Add toolchain bootstrap configuration