Kitkat Device Tree for the RaspberryPI