VirtualBox에 WIndows 7을 올려보려고 했더니 64bit OS는 설치가 안 된단다. 살펴보니 VB가 32bit로 돌아가고 있어서 그런 듯.
좀 찾아보니 내 iMac과 회사 MBP 모두 default로 32bit 커널로 부팅되고 있었다.
6+4 누르고 부팅해보니 VB가 64bit로 돌아간다.
default로 64bit 부팅하려면
sudo systemsetup -setkernelbootarchitecture x86_64
이것만 해주면 된다. 이 방법은 웹상에 잘 안 나와있어서 기록차 남겨놓음.