Re: [PATCH 0/7] Add Samsung's s5pv310 machine with device tree enabled