[kernel/f19] enable lpae ARM kernel