Update os/linux/ump_ioctl.h