I "assume" the boot mouse/kbd use the BIOS configured USB devices - until the full classes are loaded from disk and provide the proper/full hid implementations of those