svcctl: use hex range format in IDL.