Thanks to the MySQL Performance Blog for this tip:

RESET QUERY CACHE;<br /> FLUSH TABLES;<br /> SET GLOBAL key_buffer_size=0;<br /> SET GLOBAL key_buffer_size=14691328;