Just an attempt at throwing together a device tree for Samsung's UNIVERSAL5420 board