I have a VIA Epia Mini-itx, the system comes to decompressing kernel and then reboots? Have anyone got a solution for that? And is there a list of all the boot options for the kernel? Thanks