The board got some errors at boot and show the following messages after timing out. It eventually boot, but it should be nice to fix this and eventually improving the boot time...