- updated to 6.01
- build efi32 version on ix86, efi64 on x86_64