hkbd(4): Fix build on 32bit platforms
(cherry picked from commit 38d2e9314b127b3466e8ae4120e21fe1ad076dfc)