[seL4] RPi4: DTS memory device and vm_minimal