Mine went through a phase of not being powered during boot until login. It was infuriating for BIOS access but then I realised MSI fast boot was the cause of it :P
That is definitely not the case, she probably has a newish motherboard. Specific settings can disable USB devices during boot up.