device_tf101.mk: Clean up includes a bit

Change-Id: Icb04d2c7bfd621793a87471d2724dfa48cc36f27