HomeFreeBSD

linuxkpi: implement ida_alloc()