Remove short wchar_t hack and use uint_least16_t for UEFI strings.