Not exactly fast at booting, is warm boot quicker?
It looks like booting BIOS takes 20 secs and then loading boot image another 20 secs. Then couple of seconds waiting to get into some boot menu. I dont know if that boot menu is some specific SW module.
0:19 BIOS setup finished
0:26 Starts loading boot image
1:04 System enters boot menu
1:17 Booting from boot menu (?)
2:03 Workbench
Couple of seconds is spent on waiting user input. It is slow considering typical boot time would be 30 seconds in total.