library: fix readl reads

klee_range says:
KLEE: ERROR: klee/runtime/Intrinsic/klee_range.c:17: invalid range
KLEE: NOTE: now ignoring this error at this location

Fix it by using klee_make_symbolic which is more appropriate here
anyway.