Add new return code in check_cpu_availabiity

It is a corner case, but a thread may not know if the CPU has
been already claimed before checking the availability.
This way, DLB_NOUPDT is returned to note that the CPU is still "Lent".