Linuxium bootloader helps you boot Linux, Android on RK3188 mini PCs