[BOLT] Enable re-writing of Linux kernel binary (#80228)

Write modified Linux kernel binary to disk. The output is not supposed
to be functional at the moment, but it will allow for future patches to
test the output binary.