Added core32 box for Virtual Box v4.2.18 guest addins