TF300T: Fix building kernel

Change-Id: I50fd7e3001d386bc4c8c9d3bbdf4f54e5639cd7c