[PATCH] Fix boot on jetson-tk1 related to platform_nouveau