OMBManagerInstall: extract kernel.bin unmodified