Add intel 32bit kernel config