[PATCH 0/3] Minor improvements to the Spectrum OS boot process