Bugfix: Report actual kernel name in RPC, rather than kernel interface name