Add some ARM boards from linux-kernel