boot: make use of kmodloader if it is available