Adjusted bigmem version (combined kravind/semaphore implementation)

Change-Id: Id735be5d8d967001b345bddee5a6aba6370fd0db
More RAM - thanks to DerTeufel, Mialwe & Stratosk

Change-Id: Iad3661b9744b913177d4e91729a78e767b07f29f