Is the RAM abailable to Bitlash configurable? At boot on my DUE bitlash says it only has 1000bytes free.