Fixing uninitialized values in OS init bugs