Device memory mapping works as stated in rk30xx linux src, add full boot dmesg