u8833 needs a very special kernel

Change-Id: I5f4a0d876ff4c83f0c510dac6dd960cfc6590b4c