HAT: remove last references to the HHVM pools

Change-Id: I4bce03efea538cc2495529781a34b6c716f4a57d
Signed-off-by: Giuseppe Lavagetto <glavagetto@wikimedia.org>