hw/sd: model a power-up delay, as a workaround for an EDK2 bug