repo-patcher: Fix path derp
build.patch: Use AOSP GCC 4.7 toolchain for kernel