It’s still annoying to use the smaller key, but you can swap them in the BIOS config