No Windows boot option on dual boot

Probably the same as the other buggy ‘malformed kernel/boot files’ threads…