L4Re/L4Android specify RAM size on Beagleboard