hw/arm: new interface for devices which need to behave differently for kernel boot