Cubietruck: use `max` to specify `dom0` memory