#10 [Need fix] Boot loader (grub) related issue

[Michal Dziczkowski]

Even if the kernel is configured for a 64-bit system, the grub is only 32-bit, without the support for other platforms (only a i386-pc folder) and 64-bit systems.

Please correct it.