int13_boot() now does its own segment register save and restore, ready for the removal of segment register restoration from the libkir generic code.