WIP: Use ext4 for /boot partition, instead of ext2

Well, ext4 is more reliable than ext2 and I suppose all architectures can use ext4 now.

Adrian will check some boot loaders can safely recognize ext4 :)

I've tested it manually with kvm (gnome boxes) and it seems to work.