Revision 13bb7cb30fc59afb63d3a4455cb28d9f50e1f0b3 authored by Takahashi Yoshihiro on 18 January 2010, 11:08:47 UTC, committed by Takahashi Yoshihiro on 18 January 2010, 11:08:47 UTC
Re-enable more options and devices. Now kernel size problem is gone.
1 parent a91266d
