Where it is called from stack_interface_ioctl, the parameter is already a uint32 there. Fixes #13826.