Upgrade to 15.11 from 15.02 results in quota exceded message

[Bob Stewart]

Hi,
     I just upgraded from 15.02 to 15.11 and ran my base-hw based os and 
applications, which have been running for some time on 15.02. The 
changes made during the update were to the directory structure required 
by the "platform" changes and gpio driver changes to accomodate the 
removal of the wait_for_irq method.

immediately after init starts I get a "quota execeeded"mesage:

Starting kernel ...

kernel initialized
Genode 15.11 <local changes>
int main(): --- create local services ---
int main(): --- start init ---
int main(): transferred 501 MB to init
int main(): --- init created, waiting for exit condition ---
Quota exceeded! amount=12288, size=12288, consumed=12288
[init -> uart_drv] int main(int, char**): --- OMAP3 UART driver started ---
[init -> ctrl_module] --- Beaglebone Control Module Server ---
[init -> platform_drv] --- bbb platform driver running ---
[init -> pwm_drv] --- am33xx pwm driver ---
.
,
,

No changes have been made to available ram constants in board_base so 
I'm confused as to what caused this message to be generated. Did I miss 
a change to how quota's are requested and managed?

Any help would be greatly appreciated
Bob