abi_x86_32 boot kernel-install
