Some SD cards take a while to get detected, fix booting of those. Signed-off-by: Andre Heider <a.heider@gmail.com>