Update DIOS headers and implement dios_lookup() system call.