I specifically remember having 420 MiB, dunno anything else.