build-fix: get rid of inline

It causes compilation problems. Why?

Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
process_set: pass -x c to clang

Some of the files are named .i and clang didn't include assert.h in
that case.

Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Prepare: remove kzalloc and nondet_long bodies

They were omitted.

Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
lib: handle more scalar nondet types

Those suck.

Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Prepare: delete more __VERIFIER_* bodies

Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
process_set: add -m64 for compiler

-m32 should be used for all except DeviceDrivers64.

Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
build-fix: remove some which are already fixed

Signed-off-by: Jiri Slaby <jirislaby@gmail.com>