Detect paddr_top automatically #16
Description
The paddr_top is fragile and should be easily determined by looking at the Device Tree for the target platform. Right now it's always manually supplied which is error-prone.