Test suite: take into account that only 3040 MiB of RAM is detected since we switched to pc-i440fx-2.5.