[kernel] credit some more sources for code in boot32