[LinuxBIOS] LinuxBios on a HP ePC C10 to speed up boot time

[giraut benoit]

Hello

Is it possible to use linuxbios on a ePC C10 computer ?  it is using
Intel Whitney 82810E that is supported now by linuxbios.

The original bios take horrible long time to boot  (~13 secondes to
get the HP splash screen).
Do you think the linuxbios can speedup the boot time or it is a
hardware problem ?

Thx for your help

benoit