arm: fix ampintc to actually support more than 32 interrupts
arm: init platform after FDT, so we can use that information